Applying an Incremental Satisfiability Algorithm to Automatic Test Pattern Generation

Authors: Guillermo De Ita, Meliza Contreras, Pedro Bello

Research in Computing Science, Vol. 123, pp. 39-49, 2016.

PDF: Applying an Incremental Satisfiability Algorithm to Automatic Test Pattern Generation
PDF: Applying an Incremental Satisfiability Algorithm to Automatic Test Pattern Generation